2

A Game Semantics for Proof Search: Preliminary Results

Year:
2006
Language:
english
File:
PDF, 352 KB
english, 2006
3

Proof and refutation in MALL as a game

Year:
2010
Language:
english
File:
PDF, 1.05 MB
english, 2010
5

Böhm theorem and Böhm trees for the -calculus

Year:
2012
Language:
english
File:
PDF, 483 KB
english, 2012
6

Typing streams in the Λμ-calculus

Year:
2010
Language:
english
File:
PDF, 467 KB
english, 2010